Solve[x^2-3x==1,x]